21. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
22. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
23. LATINCRYPT 2017-Progress in Cryptology
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
24. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
25. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
26. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
27. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
28. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
29. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
30. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
31. Model Checking Software :
پدیدآورنده : edited by Ezio Bartocci, C.R. Ramakrishnan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
32. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
33. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
34. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
35. Perspectives of Systems Informatics
پدیدآورنده : edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
36. Principles and Practice of Constraint Programming :
پدیدآورنده : edited by Christian Schulte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
37. Progamming Language Implementation and Logic Programming :
پدیدآورنده : edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
38. Program Specification :
پدیدآورنده : edited by Jørgen Staunstrup.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1982
39. Programming Language Implementation and Logic Programming :
پدیدآورنده : edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
